Section: Dissemination

Teaching - Supervision - Juries

• Licence : Philippe Clauss, Architecture des ordinateurs, 18h, L2, Université de Strasbourg, France

• Licence : Philippe Clauss, Bases de l'architecture informatique, 22h, L1, Université de Strasbourg, France

• Master : Philippe Clauss, Compilation, 84h, M1, Université de Strasbourg, France

• Master : Philippe Clauss, Système et programmation temps-réel, 37h, M1, Université de Strasbourg, France

• Master : Philippe Clauss, Optimisation et transformations de codes, 31h, M1, Université de Strasbourg, France

• Master : Bérenger Bramas, Compilation, 40h, M1, Université de Strasbourg, France

• Licence : Jens Gustedt, systèmes concurrents, 20h, Université de Strasbourg, France

• Master : Jens Gustedt, parallélisme, 14h, M1, Université de Strasbourg, France

• Licence : Vincent Loechner, responsable pédagogique de la licence professionnelle ARS, L3, Université de Strasbourg, France

• Licence : Vincent Loechner, accompagnement et jury de VAE licence professionnelle ARS, L3, Université de Strasbourg, France

• Licence : Vincent Loechner, administration système et internet, 40h, L3, Université de Strasbourg, France

• Master : Vincent Loechner, langages interprétés, 34h, M1, Université de Strasbourg, France

• Master : Vincent Loechner, OS embarqués, 30h, M2, Université de Strasbourg, France

• Master : Vincent Loechner, calcul parallèle, 20h, , Université de Strasbourg, France

• IUT d'Informatique : Alain Ketterlin, Architecture et programmation des mécanismes de base d’un système informatique, 68h, Université de Strasbourg, France

• Licence : Alain Ketterlin, Algorithmique et programmation L1, 82h, Université de Strasbourg, France

• Master (Informatique) : Alain Ketterlin, Ingénierie de la preuve en Coq, 18h, Université de Strasbourg, France

• Master (Calcul Scientifique et Mathématiques de l'Information) : Alain Ketterlin, Compilation et optimisation, 28h, Université de Strasbourg, France

• Licence : Cédric Bastoul, Computer architecture, 92h, L1, Université de Strasbourg, France

• Licence : Cédric Bastoul, Parallel programming, 20h, L3, Université de Strasbourg, France

• Master : Cédric Bastoul, Compiler Design, 48h, M1, Université de Strasbourg, France

• Master : Cédric Bastoul, Introduction to Research, 10h, L2+M1, Université de Strasbourg, France

• Licence : Éric Violard, Modèles de Calcul, 29h, L1, Université de Strasbourg, France

• Licence : Éric Violard, Programmation fonctionnelle, 85h, L2, Université de Strasbourg, France

• Licence : Éric Violard, Architecture des ordinateurs, 54h, L2, Université de Strasbourg, France

• Licence : Éric Violard, Logique et programmation logique, 27h, L2, Université de Strasbourg, France

• Licence : Éric Violard, Systèmes concurrents, 9h, L3, Université de Strasbourg, France

• Licence : Éric Violard, Algorithmique et structures de données, 39h, L3, Université de Strasbourg, France

• Licence : Jens Gustedt, systèmes concurrents, 20h, Université de Strasbourg, France

• Master : Jens Gustedt, parallélisme, 14h, M1, Université de Strasbourg, France

• PhD in progress: Salwa Kobeissi, Dynamic parallelization of recursive functions by transformation into loops, September 2017, Philippe Clauss

• PhD: Mariem Saied, Automatic Code Generation for Multi-Dimensional Stencil Computations on Distributed-Memory Architectures, Sep. 2018, Jens Gustedt and Gilles Muller.

• PhD in progress: Daniel Salas, Integration of the ORWL model into parallel applications for medical research, since Mar 2015, Jens Gustedt and Isabelle Perseil.

• PhD in progress: Harenome Ranaivoarivony-Razanajato, Hierarchical Parallelization and Optimization, Oct. 2016, Cédric Bastoul and Vincent Loechner

• PhD in progress: Paul Godard, Parallelization and Scalability of a Graphical Pipeline for Professionnal Inkjet Printing, Jun. 2016, Cédric Bastoul and Vincent Loechner

• PhD in progress: Maxime Schmitt, Automatic Generation of Adaptive Codes, Sep. 2016, Cédric Bastoul and Philippe Helluy

• PhD: Yann Barsamian, Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures, Université de Strasbourg, 31 Oct. 2018, Éric Violard.

• PhD in progress: Armaël Géneau, Formal verification of complexity analyses, since Sept 2016, co-advised by Arthur Charguéraud and François Pottier, from team Gallium (Inria Paris), where Armaël is located.